714 search results for "tag:"R""

Showing 1 - 50
  1. ANSITerminal
    Documentation
    Basic control of ANSI compliant terminals and the windows shell
    terminal
    Christophe Troestler Vincent Hugot
    0.8.5
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 19 other packages
    19 Jul 2022
  2. aarch64-esperanto
    Documentation
    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.5
    MIT
    Used by 0 other packages
    22 Dec 2023
  3. aio
    Documentation
    Linux kernel AIO access library for ocaml
    org:mirage org:xapi-project
    0.0.3
    Used by 0 other packages
    21 Nov 2013
  4. alt-ergo
    Documentation
    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    21 Mar 2024
  5. alt-ergo-lib
    Documentation
    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    21 Mar 2024
  6. alt-ergo-parsers
    Documentation
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    21 Mar 2024
  7. altgr-ergo
    Documentation
    The GUI for the Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 1 other packages
    27 Apr 2023
  8. annot
    Documentation
    annotation parser for external editors and IDEs
    org:ocamllabs
    Christian Lindig Anil Madhavapeddy
    1.1.0
    Used by 0 other packages
    20 Jun 2015
  9. archsat
    Documentation
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  10. argsh
    Documentation
    Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module
    shell arg stdlib completion
    Gurvan Debaussart
    0.1.0
    MIT
    Used by 0 other packages
    13 Dec 2023
  11. arrakis
    Documentation
    A RISC-V simulator
    RISC-V simulator emulation RV32IM education debugger debug
    Valeran Maytié Gurvan Debaussart
    1.0.0
    CeCILL-2.1
    Used by 0 other packages
    05 Oct 2023
  12. arrayjit
    Documentation
    An array language compiler with multiple backends (CPU, Cuda), staged compilation
    deeplearning array jit gccjit CUDA
    Lukasz Stafiniak
    0.3.3
    BSD-2-Clause
    Used by 1 other packages
    26 Apr 2024
  13. asetmap
    Documentation
    Alternative, compatible, OCaml standard library Sets and Maps
    org:erratique set map stdlib
    Daniel Bünzli
    0.8.1
    ISC
    Used by 11 other packages
    28 Sep 2016
  14. astring
    Documentation
    Alternative String module for OCaml
    string org:erratique
    The astring programmers
    0.8.5
    ISC
    Used by 132 other packages
    09 Aug 2020
  15. async-uri
    Documentation
    Open Async (TLS) TCP connections with Uri.t
    async uri tls ssl
    Vincent Bernardoff <vb@luminar.eu.org>
    0.4.0
    ISC
    Used by 0 other packages
    03 Oct 2023
  16. async_graphics
    Documentation
    Async wrapper for the OCaml Graphics library
    async graphics
    Leo White <leo@lpw25.net>
    0.7.0
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Jun 2019
  17. atacama
    Documentation
    Modern, pure OCaml socket pool for Riot
    socket socket pool tcp riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.5
    MIT
    Used by 2 other packages
    16 Apr 2024
  18. autofonce
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 0 other packages
    16 Mar 2023
  19. autofonce_config
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  20. autofonce_core
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  21. autofonce_lib
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  22. autofonce_m4
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  23. autofonce_misc
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  24. autofonce_patch
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  25. autofonce_share
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  26. b0
    Documentation
    Software construction and deployment kit
    dev org:erratique org:b0-system build
    The b0 programmers
    0.0.5
    ISC; BSD-2-Clause
    Used by 3 other packages
    05 Jun 2023
  27. balancer
    Documentation
    A collection of load balancing algorithms implemented in pure Ocaml
    networking load balancing scalability
    Sam Riyad
    1.0
    MIT
    Used by 0 other packages
    09 Aug 2018
  28. bam
    Documentation
    A property-based testing library with internal shrinking
    test pbt shrinking internal
    François Thiré
    0.1
    MIT
    Used by 1 other packages
    19 Feb 2024
  29. bare_encoding
    Documentation
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  30. bastet
    Documentation
    An OCaml library for category theory and abstract algebra
    category theory abstract algebra algebra cats
    Risto Stevcev
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  31. bastet_async
    Documentation
    Async implementations for bastet
    category theory abstract algebra algebra cats async
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  32. bastet_lwt
    Documentation
    Lwt implementations for bastet
    category theory abstract algebra algebra cats lwt
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  33. batsat
    Documentation
    OCaml bindings for batsat, a SAT solver in rust
    minisat solver SAT
    simon.cruanes.2007@m4x.org
    0.7
    MIT
    Used by 0 other packages
    29 Dec 2021
  34. benchmark
    Documentation
    Benchmark running times of code
    benchmark
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Doug Bagley
    1.6
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    09 Sep 2018
  35. bigstring
    Documentation
    A set of utils for dealing with `bigarrays` of `char`
    bigstring bigarray
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.3
    Used by 10 other packages
    04 Feb 2020
  36. bigstring-unix
    Documentation
    I/O functions for bigstrings using file descriptors and memory-maps
    bigstring bigarray
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.3
    Used by 1 other packages
    04 Feb 2020
  37. bimage
    Documentation
    A simple, efficient image-processing library
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 3 other packages
    19 May 2022
  38. bimage-display
    Documentation
    Window system for Bimage
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  39. bimage-gtk
    Documentation
    Bimage_gtk allows images to be displayed in GTK windows
    image processing gtk
    Zach Shipko <zachshipko@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  40. bimage-io
    Documentation
    Input/output for Bimage using OpenImageIO
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  41. bimage-lwt
    Documentation
    A simple, efficient image-processing library (LWT bindings)
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.4.0
    ISC
    Used by 0 other packages
    19 May 2021
  42. bimage-sdl
    Documentation
    Bimage_gtk allows images to be displayed using SDL
    image processing sdl
    Zach Shipko <zachshipko@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  43. bimage-unix
    Documentation
    Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  44. bin_tree
    Documentation
    A binary tree implementation
    binary_tree algorithm tree data_structure
    Bryan (Ahhj93)
    0.1
    MIT
    Used by 0 other packages
    17 Feb 2024
  45. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.8.2
    LGPL-2.1-or-later
    Used by 0 other packages
    11 Mar 2024
  46. bitwuzla
    Documentation
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 0 other packages
    24 Feb 2023
  47. bitwuzla-bin
    Documentation
    Bitwuzla SMT solver executable
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  48. bitwuzla-c
    Documentation
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023
  49. bitwuzla-cxx
    Documentation
    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.4.0
    MIT
    Used by 0 other packages
    08 Mar 2024
  50. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    12 Sep 2023
1 2 3 ... 15